| Model: | eajs v.1 (MDP) |
| Parameter(s) | N = 6, energy_capacity = 300, B = 13 |
| Property: | ExpUtil (exp-reward) |
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files eajs.6.prism --model-input-type prism --property-input-files eajs.props --property-input-names ExpUtil --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const energy_capacity=300,B=13
| Walltime: | 245.87090730667114s |
| Return code: | 1 |
assertions-disabled start-parsing
Unexpected error occurred during parsing: java.lang.OutOfMemoryError: Java heap space